Verification of Evolving Software
نویسندگان
چکیده
We define the substitutability problem in the context of evolving software systems as the verification of the following two criteria: (i) previously established system correctness properties must remain valid for the new version of a system, and (ii) the updated portion of the system must continue to provide all (and possibly more) services offered by its earlier counterpart. We present a completely automated procedure based on learning techniques for regular sets to solve the substitutability problem for component based software. We have implemented and validated our approach in the context of the ComFoRT reasoning framework and report encouraging preliminary results on an industrial benchmark.
منابع مشابه
Verification of Monitor unit calculations for eclipse Treatment Planning System by in- house developed spreadsheet
Introduction: Computerized treatment planning is a rapidly evolving modality that depends on hardware and software efficiency. Despite ICRU recommendations suggesting 5% deviation in dose delivery the overall uncertainty shall be less than 3.5% as suggested by B.J. Minjnheer. J. In house spreadsheets are developed by the medical physicists to cross-verify the dose calculated by the Treatment Pl...
متن کاملModel Checking for Aspect-Oriented Software Evolution
Model checking is the verification approach for proving a satisfaction of desired properties on a finite state system model. Whenever a new feature (aspect) which is developed as a separated unit is composed to the original software for evolving to the next generation, the properties which held on the model of the original software should be re-checked for their preservation. The re-verificatio...
متن کاملProperty Based Verification of Evolving Petri Nets
Abstract—Software evolution is inevitable in the field of information and communication technology systems. Existing software systems continue to evolve to progressively reach important qualities such as completeness and correctness. Iterative refinements and incremental developments are considered to be well suitable for the development of evolving systems among other approaches. The problem w...
متن کاملIncremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Modern enterprise information systems are built following the paradigm of service-orientation. This paradigm promotes workflow-based software composition, where complex business processes are realized by orchestrating different, heterogenous components. These workflow descriptions evolve continuously, to adapt to changes in the business goals or in the enterprise policies. Software verification...
متن کاملA Syntactic-Semantic Approach to Incremental Verification
Software verification of evolving systems is challenging mainstream methodologies and tools. Formal verification techniques often conflict with the time constraints imposed by change management practices for evolving systems. Since changes in these systems are often local to restricted parts, an incremental verification approach could be beneficial. This paper introduces SiDECAR, a general fram...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004